An algebraic characterization of groups with soluble word problem
نویسندگان
چکیده
منابع مشابه
Finitely generated lattice-ordered groups with soluble word problem
William W. Boone and Graham Higman proved that a finitely generated group has soluble word problem if and only if it can be embedded in a simple group that can be embedded in a finitely presented group. We prove the exact analogue for lattice-ordered groups: Theorem: A finitely generated lattice-ordered group has soluble word problem if and only if it can be `-embedded in an `-simple lattice-or...
متن کاملGroups with Indexed Co-word Problem
We investigate co-indexed groups, that is groups whose co-word problem (all words defining nontrivial elements) is an indexed language. We show that all Higman-Thompson groups and a large class of tree automorphism groups defined by finite automata are co-indexed groups. The latter class is closely related to dynamical systems and includes the Grigorchuk 2-group and the Gupta-Sidki 3-group. The...
متن کاملGroups with poly-context-free word problem
We consider the class of groups whose word problem is poly-contextfree; that is, an intersection of finitely many context-free languages. We show that any group which is virtually a finitely generated subgroup of a direct product of free groups has poly-context-free word problem, and conjecture that the converse also holds. We prove our conjecture for several classes of soluble groups, includin...
متن کاملGroups with Context-free Co-word Problem
The class of co-context-free groups is studied. A co-context-free group is defined as one whose coword problem (the complement of its word problem) is context-free. This class is larger than the subclass of context-free groups, being closed under the taking of finite direct products, restricted standard wreath products with context-free top groups, and passing to finitely generated subgroups an...
متن کاملTowards an algebraic characterization of rational word functions
Introduction In formal language theory, several models characterize regular languages: finite au-tomata, congruences of finite index, monadic second-order logic (MSO), see e.g. [Büc60, Elg61, Tra61]. Further connections exist between monoid varieties and logical fragments of MSO, for instance aperiodic monoids have been shown to recognize exactly the word languages defined by first-order (FO) f...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Australian Mathematical Society
سال: 1974
ISSN: 0004-9735
DOI: 10.1017/s1446788700019108